Uustalu, Tarmo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Explicit substitutions and higher-order syntax

Neil Ghani, Tarmo Uustalu, Makoto Hamana

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 403 KB

english, 2006

2

A divertimento on MonadPlus and nondeterminism

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 516 KB

english, 2016

3

Recursive Coalgebras from Comonads

Venanzio Capretta, Tarmo Uustalu, Varmo Vene

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 370 KB

english, 2004

4

Comonadic Notions of Computation

Tarmo Uustalu, Varmo Vene

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 374 KB

english, 2008

5

Certified CYK parsing of context-free languages

Firsov, Denis, Uustalu, Tarmo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2014

Language:

english

File:

PDF, 282 KB

english, 2014

6

[Lecture Notes in Computer Science] Advanced Functional Programming Volume 3622 || Epigram: Practical Programming with Dependent Types

Vene, Varmo, Uustalu, Tarmo

Year:

2005

Language:

english

File:

PDF, 458 KB

english, 2005

7

Guest editors' foreword

Uustalu, Tarmo, Vain, Jüri

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 128 KB

english, 2016

8

A Compositional Natural Semantics and Hoare Logic for Low-Level Languages

Ando Saabas, Tarmo Uustalu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 337 KB

english, 2006

9

The Recursion Scheme from the Cofree Recursive Comonad

Tarmo Uustalu, Varmo Vene

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 274 KB

english, 2011

10

Type Systems for Optimizing Stack-based Code

Ando Saabas, Tarmo Uustalu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 342 KB

english, 2007

11

Preface

Journal:

Science of Computer Programming

Year:

2009

Language:

english

File:

PDF, 144 KB

english, 2009

12

Iteration and coiteration schemes for higher-order and nested datatypes

Andreas Abel, Ralph Matthes, Tarmo Uustalu

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 605 KB

english, 2005

13

Type systems equivalent to data-flow analyses for imperative languages

Peeter Laud, Tarmo Uustalu, Varmo Vene

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 454 KB

english, 2006

14

A compositional natural semantics and Hoare logic for low-level languages

Ando Saabas, Tarmo Uustalu

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 478 KB

english, 2007

15

Least and greatest fixed points in intuitionistic natural deduction

Tarmo Uustalu, Varmo Vene

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 188 KB

english, 2002

16

Substitution in non-wellfounded syntax with variable binding

Ralph Matthes, Tarmo Uustalu

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 291 KB

english, 2004

17

Substitution in Non-wellfounded Syntax with Variable Binding

Ralph Matthes, Tarmo Uustalu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 192 KB

english, 2003

18

Recursive coalgebras from comonads

Venanzio Capretta, Tarmo Uustalu, Varmo Vene

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 408 KB

english, 2006

19

Proof optimization for partial redundancy elimination

Ando Saabas, Tarmo Uustalu

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 1.25 MB

english, 2009

20

Program and proof optimizations with type systems

Ando Saabas, Tarmo Uustalu

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 1.14 MB

english, 2008

21

Guest Editors’ Foreword

Tarmo Uustalu, Jüri Vain

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 158 KB

english, 2010

22

[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Foundational certification of data-flow analyses

Frade, Maria Joao, Saabas, Ando, Uustalu, Tarmo

Year:

2007

Language:

english

File:

PDF, 280 KB

english, 2007

23

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Program Repair as Sound Optimization of Broken Programs

Fischer, Bernd, Saabas, Ando, Uustalu, Tarmo

Year:

2009

Language:

english

File:

PDF, 246 KB

english, 2009

24

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 4014 || The Linear Algebra of UTP

Year:

2006

Language:

english

File:

PDF, 461 KB

english, 2006

25

Preface

McBRIDE, CONOR, UUSTALU, TARMO

Journal:

Journal of Functional Programming

Year:

2009

Language:

english

File:

PDF, 37 KB

english, 2009

26

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - Proof optimization for partial redundancy elimination

Saabas, Ando, Uustalu, Tarmo

Year:

2008

Language:

english

File:

PDF, 408 KB

english, 2008

27

[ACM Press the 2009 ACM SIGPLAN workshop - Savannah, GA, USA (2009.01.19-2009.01.20)] Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 - Bidirectional data-flow analyses, type-systematically

Frade, Maria João, Saabas, Ando, Uustalu, Tarmo

Year:

2008

Language:

english

File:

PDF, 532 KB

english, 2008

28

[ACM Press the 2003 workshop - Uppsala, Sweden (2003.08.26-..)] Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03 - Explicit substitutions and higher-order syntax

Ghani, Neil, Uustalu, Tarmo

Year:

2003

Language:

english

File:

PDF, 173 KB

english, 2003

29

Coalgebraic Update Lenses

Ahman, Danel, Uustalu, Tarmo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 265 KB

english, 2014

30

[ACM Press the 2015 Conference - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Conference on Certified Programs and Proofs - CPP '15 - Certified Normalization of Context-Free Grammars

Firsov, Denis, Uustalu, Tarmo

Year:

2015

Language:

english

File:

PDF, 496 KB

english, 2015

31

[ACM Press the 11th ACM SIGPLAN Workshop - Vancouver, BC, Canada (2015.08.30-2015.08.30)] Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming - WGP 2015 - Dependently typed programming with finite sets

Firsov, Denis, Uustalu, Tarmo

Year:

2015

Language:

english

File:

PDF, 333 KB

english, 2015

32

Stateful Runners of Effectful Computations

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 301 KB

english, 2015

33

[ACM Press the 21st ACM SIGPLAN International Conference - Nara, Japan (2016.09.18-2016.09.24)] Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 - Combining effects and coeffects via grading

Gaboardi, Marco, Katsumata, Shin-ya, Orchard, Dominic, Breuvart, Flavien, Uustalu, Tarmo

Year:

2016

Language:

english

File:

PDF, 494 KB

english, 2016

34

Finiteness and rational sequences, constructively

UUSTALU, TARMO, VELTRI, NICCOLÒ

Journal:

Journal of Functional Programming

Year:

2017

Language:

english

File:

PDF, 191 KB

english, 2017

35

Quotienting the delay monad by weak bisimilarity

CHAPMAN, JAMES, UUSTALU, TARMO, VELTRI, NICCOLÒ

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 285 KB

english, 2017

36

[ACM Press the tenth ACM SIGPLAN international conference - Tallinn, Estonia (2005.09.26-2005.09.28)] Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 - Monadic augment and generalised short cut fusion

Ghani, Neil, Johann, Patricia, Uustalu, Tarmo, Vene, Varmo

Year:

2005

Language:

english

File:

PDF, 145 KB

english, 2005

37

Coproducts of Ideal Monads

Ghani, Neil, Uustalu, Tarmo

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2004

Language:

english

File:

PDF, 290 KB

english, 2004

38

A proof-theoretic study of bi-intuitionistic propositional sequent calculus

Pinto, Luís, Uustalu, Tarmo

Journal:

Journal of Logic and Computation

Year:

2018

Language:

english

File:

PDF, 3.28 MB

english, 2018

39

[Lecture Notes in Computer Science] Theoretical Aspects of Computing – ICTAC 2018 Volume 11187 (15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings) || Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving

Fischer, Bernd, Uustalu, Tarmo

Year:

2018

Language:

english

File:

PDF, 446 KB

english, 2018

40

[Lecture Notes in Computer Science] Theoretical Aspects of Computing – ICTAC 2018 Volume 11187 (15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings) || Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism

Fischer, Bernd, Uustalu, Tarmo

Year:

2018

Language:

english

File:

PDF, 598 KB

english, 2018

41

[Lecture Notes in Computer Science] Theoretical Aspects of Computing – ICTAC 2018 Volume 11187 (15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings) || Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms

Fischer, Bernd, Uustalu, Tarmo

Year:

2018

Language:

english

File:

PDF, 409 KB

english, 2018

42

Preface

Matthes, Ralph, Uustalu, Tarmo

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2013

Language:

english

File:

PDF, 29 KB

english, 2013

43

Certified normalization of generalized traces

Maarand, Hendrik, Uustalu, Tarmo

Journal:

Innovations in Systems and Software Engineering

Year:

2019

Language:

english

File:

PDF, 359 KB

english, 2019

44

The Sequent Calculus of Skew Monoidal Categories

Uustalu, Tarmo, Veltri, Niccolò, Zeilberger, Noam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 352 KB

english, 2018